Algorithms for Concurrent Systems
avashe.icon以下学習ログ全体へのreadme
先頭からじっくり読まないと詰む分厚い奴なので、以下のルールを課す
適当な単位でページを分割する
明確化のため、並シス本というタグでカテゴライズする ここをランディングページとする
ノイズ除去のため、分割ページには他のカテゴリを表すハッシュタグを付けない
セレンディピティのため重要と考えられるタームはタギングしていく
新たに定義された用語(原著では斜体)には文頭に(定義)をつけ、太字で表す
あまりに多いときは定義してその段落にぶら下げる
斜体はscrapboxの引用中で読みづらいので
新たに置かれた仮定は文頭に(仮定)をつけ、下線を掛ける
いつも思うんだけど分厚い書籍で仮定がばらまかれてると追うの無理じゃない?
あとはいつも通りいいとこ取りしていく
感想や解釈はアイコン付きの段落で、和訳すると悪化する文は引用
私が勝手に使っている数式は以下に記述しておく
$ A := B
$ Aとは$ Bによって定義される
2. WIP...